Merge branch 'menu-section-title' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 21 Apr 2020 19:35:44 +0000 (19:35 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 21 Apr 2020 19:35:44 +0000 (19:35 +0000)
Menu section title

See merge request GNOME/gtk!1735


Trivial merge